Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2

Source URL: www.cse.chalmers.se

• Mathematical logic
• Mathematics
• Logic
• Automated theorem proving
• Z notation
• Set theory
• S
• Resolution
• Equality
• Mereology
• Axiom of extensionality

Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematics
• Mathematical logic
• Mathematical analysis
• Primitive recursive functional
• Symbol
• Continuous function
• Primitive recursive function
• operator
• Spectral theory of ordinary differential equations

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Gale–Shapley–Roth algorithms and a course enrollment problem Authors: Vinicius

Source URL: www.sbm.org.br

I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE

Source URL: ludovicpatey.com

• Logic
• Computability theory
• Mathematical logic
• Proof theory
• Mathematics
• Reverse mathematics
• Model theory

PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Theoretical computer science
• Proof theory
• Logic in computer science
• Models of computation
• Formal methods
• Metalogic
• Denotational semantics
• Linear logic
• Natural deduction
• Cut-elimination theorem

Appendix E: Some challenges of a human- and computerreadable semantic representation of mathematics For computers to deal intelligently with a mathematical result, the result must be codified in an unambiguous semantic m

Source URL: www.wolframfoundation.org

• Mathematics
• Academia
• Theoretical computer science
• Semantics
• Logic
• Semantic memory
• Semantic wiki

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Modal and set theoretical tools for the study of the multiverse Authors: Giorgio V

Source URL: www.sbm.org.br

Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme

Source URL: cca-net.de

• Computability theory
• Computable function
• Computable analysis
• Recursively enumerable set
• Oracle machine
• Computability
• High
• Reduction
• Mathematical logic

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗

Source URL: excape.cis.upenn.edu

• Logic
• Temporal logic
• Philosophical logic
• Mathematical logic
• Abstraction
• Linear temporal logic
• Logic in computer science
• Supervisory control theory
• Non-classical logic
• CTL*
• Modal logic
• Quantifier

Combining Existential Rules and Description Logics 1,2 Antoine Amarilli , Michael Benedikt 1: Télécom ParisTech; Institut Mines-Télécom; CNRS LTCI; Paris, France

Source URL: a3nm.net

• Logic
• Mathematical logic
• Mathematics
• Model theory
• First-order logic
• Predicate logic
• Universal quantification
• Quasigroup